Causality in the Semantics of Esterel: Revisited
نویسنده
چکیده
We re-examine the challenges concerning causality in the semantics of Esterel and show that they pertain to the known issues in the semantics of Structured Operational Semantics with negative premises. We show that the solutions offered for the semantics of SOS also provide answers to the semantic challenges of Esterel and that they satisfy the intuitive requirements set by the language designers.
منابع مشابه
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
We present the ESTEREL programming language which is especially designed to program reactive systems, that is systems which maintain a permanent interaction with their environment: real-time process controllers, communication protocols, man-machine interface drivers, etc. ESTEREL is a deterministic concurrent programming language. It differs from classical asynchronous languages by its synchron...
متن کاملProving the Equivalence of Microstep and Macrostep Semantics
Recently, an embedding of the synchronous programming language Quartz (an Esterel variant) in the theorem prover HOL has been presented. This embedding is based on control flow predicates that refer to macrosteps of the programs. The original semantics of synchronous languages like Esterel is however normally given at the more detailed microstep level. This paper describes how a variant of the ...
متن کاملTowards a Model-Theory for Esterel
Developed by Gerard Berry since the early 1980's Synchronous language aimed at reactive-systems design Textual with a mix of imperative and declarative aspects Solid mathematical semantics Pure synchrony hypothesis, causality, reactivity, determinism Three equivalent variants: behavioral, operational, circuitbased Commercially supported by the Esterel Studio design tool Graphical front-end Sync...
متن کاملThe SL Synchronous Language
We present a new synchronous programming language named SL based on Esterel, in which hypothesis about signal presences or absences are not allowed. Thus, one can decide that a signal was absent during one instant only at the end of this instant, and so reaction to this absence is delayed. Esterel \causality problems" are avoided at the price of replacing strong preemptions by weak ones. An ope...
متن کاملThe Semantics of Pure Esterel
We present a survey of the main semantics of Pure Esterel, the communication kernel of the Esterel synchronous reactive language. We start by an informal presentation of the Pure Esterel language. We then present the be-havioral semantics that deenes the language. We deene the notion of a haltset that corresponds to a distributed program counter. Using haltsets, we show that Pure Esterel progra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009